Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
Related concepts
Every finite group of odd order is a solvable group.
This is due to Feit & Thompson 1962.
A fully formalized proof in Coq has been produced by Gonthier et al. 2013.
The original proof:
Formalization in Coq:
Last revised on February 26, 2025 at 03:00:47. See the history of this page for a list of all contributions to it.